Additional Data

Membrane stiffness is modified by integral membrane proteins† †Electronic supplementary information (ESI) available. See DOI: 10.1039/c6sm01186a Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file.

The ease with which a cell membrane can bend and deform is important for a wide range of biological functions. Peripheral proteins that induce curvature in membranes (e.g. BAR domains) have been studied for a number of years. Little is known, however, about the effect of integral membrane proteins on the stiffness of a membrane (characterised by the bending rigidity, Kc). We demonstrate by comp...

iPAINT: a general approach tailored to image the topology of interfaces with nanometer resolution† †Electronic supplementary information (ESI) available: Fig. S1–S8. See DOI: 10.1039/c6nr00445h Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file.

Understanding interfacial phenomena in soft materials such as wetting, colloidal stability, coalescence, and friction warrants non-invasive imaging with nanometer resolution. Super-resolution microscopy has emerged as an attractive method to visualize nanostructures labeled covalently with fluorescent tags, but this is not amenable to all interfaces. Inspired by PAINT we developed a simple and ...

From linked open data to molecular interaction: studying selectivity trends for ligands of the human serotonin and dopamine transporter† †The authors declare no competing interests. ‡ ‡Electronic supplementary information (ESI) available. See DOI: 10.1039/c6md00207b Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file.

High throughput imaging cytometer with acoustic focussing† †Electronic supplementary information (ESI) available: High throughput imaging cytometer with acoustic focussing. See DOI: 10.1039/c5ra19497k Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file. Click here for additional data file.

Additional Material for “Unifying Data Representation Transformations”

This report shows an end-to-end formalization of the data representation transformation mechanism in the “Unifying Data Representation Transformations” paper [16]. Since the mechanism described in the paper is targeted at the Scala programming language and the specification is written against System F<: with local colored type inference [11, 14] formally reasoning about the calculus is a major ...